For which level of PH is $\operatorname{VALID}$ complete
Just like SAT is NP-complete, $\overline{SAT}$ is coNP-complete. More generally, if $L$ is $\Sigma_k$-complete then $\overline{L}$ is $\Pi_k$-complete (and vice versa). You can prove this using the definitions.