Provable by Gentzen Proof System iff Negation has Closed Tableau

Theorem
Let $\mathscr G$ be instance $1$ of a Gentzen proof system.