closeTrue completes proof branch ... |- true for trivial reasons where it tries to show the formula true in its succedent.