Temporal Description Logic with Constant Domains -- Free-Variable Tableaux for