Tactics for Translation of Tableau in Natural Deduction