Since the object language obtained by closing off T(x) is a classical language with every predicate totally defined, it is possible to define a truth predicate for that language in the usual Tarskian manner.