Aber bitte immer nur eine dieser Erweiterungen benutzen, sonst könnte es zu Fehlfunktionen kommen.
Wenn Du zusätzlich zu dem Wiederherstellen der geöffneten Seiten auch noch erweiterte Tabeinstellungen haben willst, ist Tabmix Plus Deine Wahl. Wenn es Dir nur um das Wiederherstellen geht, wäre der Session Manager zu empfehlen.
Was TabmixPlus alles an Einstellungsmöglichkeiten bietet, siehst Du hier ---> Klick