public boolean isTerminated() {
		return terminated;
	}
Notify the provider that the terminal's session has terminated

<p>
The title and sub title are adjusted and all terminal listeners are removed. If/when the
window is closed, it is removed from the tool.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/terminal/TerminalProvider.java