Достаточно сказать "переменная модуля" -- разве есть неоднозначности?

В случае сомнений можно по месту, в зависимости от контекста уточнять "собственная", "внутренняя" или наоборот, "экспортированная", и т.п.

У меня лично стойкая ассоциация, что "глобальная" -- это которая видима, хм, глобально.
Видимость только внутри модуля -- это не очень тянет на глобальность.

Действительно, "переменная процедуры" как-то не звучит, хочется (опять же какая-то традиция, ставшая инстинктом) добавить "локальная" -- видимо, потому что обычно хочется подчеркнуть её ограниченную видимость.