Ruaridh, I’m so glad it is floating your boat.
Ah yes, good spot. I need to edit and correct that. I was thinking of the dominant 7 resolving back to a major tonic chord. I did make a post with graphic to explain why a G7 resolves so strongly to a C major tonic here.
Let’s look at the situation that gave rise to your question - which is a progression in the key of E minor.
In the key of E minor, the actual dominant chord, the v chord, is B minor.
Placing tonic Em and dominant Bm (v) adjacent to one another we have:
E, G, B
B, D, F#
Movement from dominant to tonic sees:
the root B remain static, becoming the 5th of Em;
the 3rd D moves a whole tone up to become the root E (not a strong push / pull);
the 5th F# moves up to become the 3rd G (which is a strong push / pull as they are just a semitone apart).
Extending the dominant chord to a 7th makes little difference here. Placing tonic Em and dominant 7th Bm7 (v7) adjacent to one another we have:
E, G, B
B, D, F#, A
All is as before in terms of movement apart from that note A. But, notice that it is one whole tone from both the G and the B within the tonic chord. It has not given us any additional strength of resolution by adding a ‘leading tone’ that is just a semitone away from a tonic chord note. It could be described as the b7 moving up to become the 5th of the tonic or down to become the 3rd of the tonic. Whichever, both moves are a whole tone.
In summary, both Bm and Bm7 are the dominant chords in the key of E minor but neither have that strength in pushing / pulling to the tonic that was shown in example 10 above.
Now compare with the major versions of the dominant, B and B7 (V and V7) instead of Bm and Bm7. Placing tonic Em and B (V) adjacent to one another we have:
E, G, B
B, D#, F#
Movement from dominant to tonic sees:
the root B remain static, becoming the 5th of Em;
the 3rd D# moves up a semitone to become the tonic’s root E (a strong push / pull of a semitone);
the 5th F# moves up to become the 3rd G (another strong push / pull).
We have two ‘leading tones’ whose movement from dominant (major) to tonic (minor) gives a strong resolution.
Now compare with the 7th version of the major dominant, B7 (V7).
E, G, B
B, D#, F#, A
It is similar to the dominant (major) with the note A being the additional chord tone. As with Bm7 this is not a leading tone as it is not a semitone from any of the tonic chord tones.
To round this up, in a minor key, the true dominant is a minor chord that when played straight or as a minor 7th lacks the strong resolution that a leading tone provides. It is still the dominant. But it lacks oommph.
When the dominant is played as a borrowed V or V7, both have two leading tones. The 3rd resolves up a semitone to become the root of the tonic and the 5th resolves up a semitone to become the 3rd of the tonic. Playing as a 7th does not impact on the quality or strength of resolution - as the b7 is a whole tone from notes in the tonic chord - so either can be played to equal effect and the choice will be made on the old adage if it sounds good it is good, and musician’s ear.
And, finally, in a short answer to @Eccleshall
Yes, I should have written that. Thanks for the correction and gving me the opportunity to clarify and elucidate further.
ps
I love it when people engage, analyse, think and ask questions. It makes me have to reconsider, reflect and, as here, correct any oversights or errors I make.