Double Negation/Double Negation Elimination/Proof Rule/Tableau Form

Proof Rule
Let $\neg \neg \phi$ be a propositional formula in a tableau proof.

The Law of Double Negation Elimination is invoked for $\neg \neg \phi$ as follows: