Tabbed terminals

Elementary introduction of tabbed terminals.
When are we loading a terminal that's not being used?