Proving that $\mathrm{SpaceTMSat}$ is PSPACE-complete
For any complexity class $X$, a language is $X$-complete if it's in&nbsp;$X$ and every problem in&nbsp;$X$ can be reduced to it. There are two main ways to prove that a language is $X$-complete: literally show that it meets the definition of $X$-completeness, or show that some other $X$-complete problem reduces to it.

In cases where the language is essentially, "Here's a machine in~$X$ and an input: does it accept?", it's usually best to go for the literal approach and show that every problem in the class can be reduced to your problem. Why? Because every problem in the class is decided by a Turing machine, and your language is about whether those Turing machines accept or not.