Yes. TQBF is an example of a PSPACE-complete problem.