Всегда ли вызов удаления для динамически размещенного объекта приводит к утечке памяти?

Из обсуждения, начатого здесь, я хотел бы знать, есть ли в следующем коде утечка памяти:

int main()
{
   new int();
   //or
   int* x = new int();
   return 0;
}

Я знаю, что память освобождается ОС, но утечка ли это в любом случае? Я считаю, что это так.

Что определяет утечку памяти? Я смог найти только одну ссылку в стандарте, и это не очень помогло.

РЕДАКТИРОВАТЬ: Я не хочу начинать дискуссию - "Я думаю, что..." - это не тот ответ, который я ищу. Меня в основном интересуют источники - что об этом говорят книги или веб-сайты C++ или что-то еще.