semantica terminada