Propositional Gentzen-Type Systems -- Incremental Closure of Free Variable Tableaux --