I am adding this as an answer because it is too large to fit as a comment. But mostly its purpose is to clarify one of my comments (and answer a reply to that comment).
One of the questions raised by the original post concerns the definition of "counting measure" that is implicitly being used in the statements linked above.
My guess is that the definition of "counting measure" used there is equivalent to the following:
A measure $m$ on a measure space $(X, \mathcal{B})$ is said to be a counting measure if and only if there is some $S \subseteq X$ satisfying $ m(E) = \#(E \cap S), \qquad E \in \mathcal{B}, $ where $\#$ denotes the set cardinality (either a nonnegative integer or $\infty$).
In my comment on the original question, I stated that this condition was equivalent to the condition that $m(\{x\}) \in \{0,1\}$ for all $x \in X$, but on further thought I realized that this is not true. For one thing, there is nothing in the above definition which requires or implies that the singleton subsets of $X$ are measurable. If we assume this, the above definition implies that $m(\{x\}) \in \{0,1\}$ for all $x$ in $X$, but there are measures satisfying this weaker condition which are not counting measures in the above sense. (For example, fix any uncountable $X$, take $\mathcal{B}$ to be the power set of $X$, fix $p \in X$, and take the measure $m$ to be $\delta_p + \nu$, where $\delta_p$ is the Dirac mass at $p$ and $\nu$ is the measure given by declaring that $\nu(E) = 0$ if $E$ is countable and $\nu(E) = \infty$ otherwise.) One can, of course, add additional hypotheses to this weaker condition to make it equivalent to the above definition. But I think the above definition is more fundamental in capturing what a "counting measure" ought to be.
In any case, it is clear that if $m$ is a counting measure in the above sense, then the set $S$ appearing in the definition is uniquely determined by $m$: it must be $\{x \in X: m(\{x\}) = 1\}$. It is also clear, straight from the definitions, that a counting measure $m$ is finite if and only if its set $S$ is finite. This is immediate from the equality $m(X) = \#(S)$.
Now suppose that $X$ is a second countable, locally compact Hausdorff space, and that $\mathcal{B}$ is the Borel $\sigma$-algebra of $X$. Suppose $m$ is a counting measure on $X$, and let $S = \{x \in X: m(\{x\}) = 1\}$. I claim that the measure $m$ is locally finite (in the sense given in the OP) if and only if the set $S$ is locally finite (in the sense given in the OP).
This is true, but not immediately obvious. What is immediately obvious is that the measure $m$ is locally finite if and only if the set $S$ has the following property:
For all $x \in X$, there is an open subset $U$ of $X$ containing $x$ with the property that $U \cap S$ is finite.
Indeed, since $m(U)$ is finite if and only if $U \cap S$ is finite, this is a direct transcription of "every point of the space has an open neighborhood of finite measure". But "$S$ is locally finite", a priori, means something slightly different. So we need to prove the equivalence of the following properties of a subset $S$ of $X$:
For all $x \in X$, there is an open subset $U$ of $X$ containing $x$ with the property that $U \cap S$ is finite.
For all compact $K \subseteq X$, one has that $K \cap S$ is finite.
If condition (2) fails then we can choose a compact $K \subseteq X$ and an infinite sequence $(k_n)_{n=1}^{\infty}$ of distinct points of $K \cap S$. Since $X$ is second countable, we know that $K$ is sequentially compact, and so we may assume (by passing to a subsequence as needed) that $(k_n)_{n=1}^{\infty}$ is convergent to some $p \in X$. But then, for any open subset $U$ of $X$ containing $p$, there is some positive integer $N$ with the property that the infinite set $\{k_n: n \geq N\}$ is contained in $U$. So $U \cap S$ is infinite for every open subset $U$ of $X$ containing $p$, and condition (1) fails.
Conversely, if condition (1) fails there is some $p \in X$ with the property that every open subset $U$ of $X$ containing $p$ has the property that $U \cap S$ is infinite. Since $X$ is locally compact, we can find an open subset $U$ of $X$ containing $p$ with the property that there is a compact subset $K$ of $X$ satisfying $K \supseteq U$. But then $K \cap S$ is infinite (since it has the infinite subset $U \cap S$) and the second condition fails.
This proves that conditions (1) and (2) are indeed equivalent. So, assuming those topological hypotheses on $X$, one does know that a counting measure $m$ on $(X, \mathcal{B})$ is locally finite if and only if its set $S$ is locally finite.