"It doesn’t seem logical to give a quick tug when she is already pulling with all her might against the lead… "
I asked this same thing to my trainer. His response was that you should always keep some extra leash in your hands. This way when the dog pulls on his leash you release that extra that you have in your hand and then give a tug.
I hope I explained myself properly.