Proof by Contradiction/Proof Rule/Tableau Form

Proof Rule
Let $\phi$ be a well-formed formula in a tableau proof.

The Proof by Contradiction is invoked for $\phi \vdash \bot$ in the following manner: