Rule of Top-Introduction/Tableau Form

Proof Rule
In a tableau proof, the Rule of Top-Introduction is invoked as follows: