of FTL -- Tableaux for Temporal Description Logic with Constant Domains -- Tableaux for