Prove a TM problem is NP-complete
Let us first show that $T_{NP}$ is indeed in NP. Given an input, $m\#w\#^c$, nondeterministically guess a sequence $r$ of nondeterministic choices for $M_m$ of length $c$, simulate $M_m$ on $w$ for $c$ steps using $r$, and accept if $M_m$ accepts. This nondeterministic algorithm accepts iff $m\#w\#^c \in T_{NP}$. Furthermore, it runs in polynomial time in the input size (here it is crucial that the input contains $\#^c$ rather than $c$ encoded in binary).

To show that $T_{NP}$ is NP-hard, you can just use the definition. Suppose that $M$ is an NP machine. Then $M = M_m$ for some $m$, and $M$ runs in time $P(n)$ on an input of length $n$. Given an input $w$, map it to $m\#w\#^{P(|w|)}$. It is clear that $M_m$ accepts $w$ iff $m\#w\#^{P(|w|)} \in T_{NP}$. The reduction is polynomial since $P(n)$ is a polynomial.