Complete the tag: The electricians have isolated the circuit, ___?

Erklärung

The affirmative statement contains have as its first auxiliary, so the tag repeats have in negative form and uses they for the plural subject. A do-tag would ignore the existing perfect auxiliary.