Если выполнение тела цикла заканчивается тогда, когда условие цикла становится истинным, то он называется:

Для ответа на вопрос необходимо понимать, что такое цикл в программировании и какие виды циклов существуют.

1. Цикл - это конструкция в программировании, позволяющая выполнять определенный блок кода несколько раз, пока выполняется определенное условие.
2. Существуют разные виды циклов, такие как цикл с предусловием (while), цикл с постусловием (do-while) и цикл с параметром (for).
3. Цикл с предусловием (while) проверяет условие перед каждым выполнением тела цикла, и если условие ложно, цикл завершается.
4. Цикл с постусловием (do-while) выполняет тело цикла хотя бы один раз, а затем проверяет условие. Если условие истинно, цикл продолжается.

В данном вопросе говорится о цикле, который заканчивается, когда условие становится истинным. Это означает, что условие проверяется после выполнения тела цикла. Следовательно, это цикл с постусловием.

Ответ: цикл с постусловием