Una vez que el asunto se haya resuelto finalmente en el arbitraje, a petición de cualquiera de las partes, el juez dará por terminado el juicio.