I agree with CW14 on this one - double tapping as I know it is very quickly tapping the (picking hand) note before starting the rest of the sequence.

The technique Satch uses on 'Midnight' is what I've always known as two-handed tapping.