public close() as Void:
Closes every terminal tab and stops their pseudo-terminal processes.
terminal.close()