Revisa como tiene el tdt configurada la salida de audio, generalmente en el menu de configuración hay una opcion para elegir la salida de audio que se va a utilizar, comprueba que tiene seleccionado el HDMI y luego prueba por las distintas opciones de salida que tenga. A ver si tienes suerte.