My idea in the above comments didn't quite work as stated, but the generality of the result Yemon Choi mentioned bridges the gap. 

Define $\log^n |\cdot|: \mathbb{C}^{*n} \rightarrow \mathbb{R}^n, \log^n |(z_1, z_2, \dots, z_n)| = (\log |z_1|, \log |z_2|, \dots, \log |z_n|)$. This is a map of topological groups, where the "multiplication" on $\mathbb{R}^n$ is addition. Then the $A_R$ condition can be rewritten as: $$\log^n |S| + [0, \log R]^n = \mathbb{R}^n \left(1\right)$$

Let $f \in S$; we want to prove that $f^{-1} \in S$. Condition $\left(1\right)$ can be used to show that there is some set $\{g_i\}$ such that $\{log^n |g_i|\}$ forms a basis of $\mathbb{R}^n$ and such that the coordinates of $\log^n |f|$ are negative with respect to that basis. Then I claim that $f^{-1} \in \overline{\{\prod_i g_i^{a_i} f^b | a_i, b \in \mathbb{Z}_{\geq 0}\}}$. Equivalently, $e \in \overline{\{\prod_i g_i^{a_i} f^b | a_i \in \mathbb{Z}_{\geq 0}, b \in \mathbb{Z}_{\geq 1}\}}$.

Assume otherwise. Consider the map $p: \mathbb{C}^{*n} \rightarrow \mathbb{C}^{*n}/\{\prod g_i^{a_i} | a_i \in \mathbb{Z}\} \simeq \mathbb{T}^{2n}$. This is a map of topological groups, so $p(\{f^b | b \in \mathbb{Z}_{\geq 1}\})$ is a subsemigroup. It is not necessarily closed; however, its closure is - so by Yemon Choi's comment, it must be a group. Specifically, it must include the identity. 

Let $e \in U \subseteq \mathbb{C}^{*n}$ be an open neighborhood of the identity; we want to show that $U$ contains an element of $\{\prod_i g_i^{a_i} f^b | a_i \in \mathbb{Z}_{\geq 0}, b \in \mathbb{Z}_{\geq 1}\}$. We can assume WLOG that U is both symmetric and "small enough" (more on this later). The first condition is that $p$ is a homeomorphism on $U$. Then $p(U)$ is an open neighborhood of the identity in $\mathbb{T}^{2n}$, so it must contain some element of $p(\{f^b | b \in \mathbb{Z}_{\geq 1}\})$. Equivalently, $U$ must contain some element of the form $\prod_i g_i^{a_i} f^b$ such that $a_i \in \mathbb{Z}, b \in \mathbb{Z}_{\geq 1}$. But because the coordinates of $\log^n |f|$ are all negative with respect to $\log^n |g_i|$, by choosing $U$ small enough, we can guarantee that all of the $a_i$ are positive - so we have proven that $U$ contains an element of $\{\prod_i g_i^{a_i} f^b | a_i \in \mathbb{Z}_{\geq 0}, b \in \mathbb{Z}_{\geq 1}\}$. We are therefore done: $e \in \overline{\{\prod_i g_i^{a_i} f^b | a_i \in \mathbb{Z}_{\geq 0}, b \in \mathbb{Z}_{\geq 1}\}}$, so $f^{-1} \in \overline{\{\prod_i g_i^{a_i} f^b | a_i, b \in \mathbb{Z}_{\geq 0}\}} \subseteq S$.