要求判决合同无效的诉讼，属于确认之诉。以下是对这一问题的详细分析：

一、确认之诉与形成之诉的定义及区别

1. 确认之诉：是指原告请求法院确认其与被告之间存在或不存在某种法律关系的诉讼。其目的在于通过法院判决，明确双方之间的法律关系状态，从而消除争议。
2. 形成之诉：又称变更之诉，是指原告请求法院通过判决，改变或消灭某种既存的民事法律关系的诉讼。其目的在于通过法院判决，使现有的法律关系发生变更或消灭。

二、要求判决合同无效的诉讼性质

在要求判决合同无效的诉讼中，原告的诉讼请求是确认合同无效，即请求法院对合同的有效性进行认定，并作出相应的判决。这一请求并不涉及对现有法律关系的变更或消灭，而是对合同法律关系状态的确认。因此，该诉讼符合确认之诉的定义和特征。

三、从诉讼目的和效果角度分析

1. 诉讼目的：要求判决合同无效的诉讼，其目的在于通过法院判决，明确合同是否具有法律效力，从而消除因合同效力问题而产生的争议。这符合确认之诉的目的，即明确法律关系状态。
2. 诉讼效果：如果法院判决合同无效，那么该判决将产生确认合同无效的法律效果，即合同自始没有法律约束力。这一效果是对合同法律关系状态的确认，而非对现有法律关系的变更或消灭。因此，该诉讼不属于形成之诉。

四、相关法律依据及实践

虽然具体的法律条文可能并未直接提及“确认之诉”或“形成之诉”的概念，但根据《中华人民共和国民法典》中关于合同效力的规定，以及民事诉讼法中关于诉讼类型的基本理论，可以推断出要求判决合同无效的诉讼属于确认之诉。此外，在司法实践中，法院也通常将此类诉讼归类为确认之诉进行审理。

总结与建议：

要求判决合同无效的诉讼属于确认之诉。如果你在合同纠纷中遇到了相关问题，或者对确认之诉和形成之诉有进一步的疑问，可以直接向我咨询。我会根据你的具体情况，提供专业的法律意见和帮助。