Totality problem

For an effective enumeration of computably enumerable languages $W_v$, the totality problem isIt is ${\Pi }_2$-complete: a ${\Pi }_2$ condition $w\in P⟺\forall xf(w,x)\downarrow$ maps effectively to a program whose domain is $\{x:f(w,x)\downarrow \}$.