Há caso julgado formal quando a decisão se torna insusceptível de alteração por meio de qualquer recurso como efeito da decisão no próprio processo em que é proferida, conduzindo ao esgotamento do poder jurisdicional do juiz e permitindo a sua imediata execução actio - cf.