In this talk we investigate the geometry and topology of f-extremal domains in a manifold with negative sectional curvature. A f-extremal domain is a domain that supports a positive solution to the overdetermined elliptic problem \begin{eqnarray} \label{1.3} \left\{ \begin{array}{llll} \Delta{u}+f(u)=0 \quad&\mathrm{in}\quad ~~\Omega,\\ u>0 \quad&\mathrm{in}\quad ~~\Omega,\\ u=0 \quad&\mathrm{on}\quad \partial\Omega,\\ \langle\nabla{u},\vec{v}\rangle_{M}=\alpha \quad&\mathrm{on}\quad \partial\Omega, \end{array} \right. \end{eqnarray}where \(\Omega\) is an open connected domain in a complete Hadamard \(n\)-manifold \((M,g)\) with boundary \(\partial\Omega\) of class \(C^{2}\), \(f\) is a given Lipschitz function, \(\langle\cdot,\cdot\rangle_{M}\) is the inner product on \(M\) induced by the metric \(g\), and \(\alpha\), \(\vec{v}\) the unit outward normal vector of the boundary \(\partial\Omega\) and \(\alpha\) a non-positive constant. We will show narrow properties of such domains in a Hadamard manifolds and characterize the boundary at infinity. We give an upper bound for the Hausdorff dimension of its boundary at infinity. Later, we focus on \(f\)-extremal domains in the Hyperbolic Space \(\mathbb H^n\). Symmetry and boundedness properties will be shown. Hence, we are able to prove the Berestycki-Caffarelli-Nirenberg Conjecture in \(\mathbb H^2\). Specifically: Let \(\Omega \subset \mathbb H^2\) a domain with properly embedded \(C^2\) connected boundary such that \(\mathbb H^2 \setminus \overline{\Omega}\) is connected. If there exists a (strictly) positive function \(u\in{C}^{2}(\Omega)\) that solves the equation \begin{eqnarray*} \left\{ \begin{array}{llll} \Delta{u}+f(u)=0 \quad&\mathrm{in}\quad ~~\Omega,\\ u>0 \quad&\mathrm{in}\quad ~~\Omega,\\ u=0 \quad&\mathrm{on}\quad \partial\Omega,\\ \langle\nabla{u},\vec{v}\rangle_{\mathbb H ^2}=\alpha \quad&\mathrm{on}\quad \partial\Omega, \end{array} \right. \end{eqnarray*} where \(f:(0,+\infty)\rightarrow\mathbb{R}\) satisfies \(f(t)\geq \lambda \, t\) for some constant \(\lambda\) satisfying \(\lambda> \frac{1}{4}\), then \(\Omega\) must be a geodesic ball and \(u\) radially symmetric. If time permits, we will generalize the above results to more general OEPs.